定理证明
定理证明(theorem proving)是一种形式验证方法，它是根据已构造的规格说明生成反映该规格说明应具有的性质，将其表示成定 …
定理证明法
定理证明法(theorem proving)－藉由我们提出的高等Petri Net转换方式，我们把自动定理证明这种推论方式，用来求Petri Net的 …
定理证明方法
1.2.3 定理证明方法(Theorem Proving)18-19 1.2.4 程序分析方法19-20 1.3 本文主要工作及意义20 1.4 本文结构20-22 第二章 安 …
定理机器证明
...ert consulting system) 定理机器证明(theorem proving) 博弈(game playing) 机器人学(robotics) 自动程序设计(automatic pr...
定律证明
...它集成了模型验证(Model Checking)、定律证明(Theorem Proving)的工具支持,验证能力强.该文对这种软件方法的几个 核心问 …
按分解律的定理证明
t z T... ... 定理证明 theorem proving 按分解律的定理证明 theorem proving 按分解律反演的定理证明 by resolution refutation ...